The Stability of a Class of Discrete Event Systems Using Markov Chains

نویسندگان

  • Pudji Astuti
  • Brenan J. McCarragher
چکیده

This paper presents a stability concept of a class of discrete event systems (DESs) using Markov chains. The DESs under consideration are modeled as state machines adopted from Ramadge-Wonham which represent the hybrid dynamic models of constrained motion systems. By identifying the probability of ring enabled events of the DES, p-convergence is proposed. Some properties of p-convergence are investigated including the fact that p-convergence is a generalization of the convergence proposed by Brave and Heymann yet it is less restrictive. The application of p-convergence is shown for a robotic assembly DES.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Time Delay and Data Dropout Compensation in Networked Control Systems Using Extended Kalman Filter

In networked control systems, time delay and data dropout can degrade the performance of the control system and even destabilize the system. In the present paper, the Extended Kalman filter is employed to compensate the effects of time delay and data dropout in feedforward and feedback paths of networked control systems. In the proposed method, the extended Kalman filter is used as an observer ...

متن کامل

Robust Model Predictive Control for a Class of Discrete Nonlinear systems

This paper presents a robust model predictive control scheme for a class of discrete-time nonlinear systems subject to state and input constraints. Each subsystem is composed of a nominal LTI part and an additive uncertain non-linear time-varying function which satisfies a quadratic constraint. Using the dual-mode MPC stability theory, a sufficient condition is constructed for synthesizing the ...

متن کامل

Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996